Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
161	Course Paper Implementation of a Turing simulator Jan Engelhardt March 17, 2005 Max-Plank-Gymnasium Göttingen Advances CS Add to Reading List Source URL: inai.de Language: English - Date: 2012-05-07 20:23:24 Theory of computation Computer science Alan Turing Models of computation Busy beaver Turing Universal Turing machine Turing completeness Turing machine Theoretical computer science Computability theory
162	The Yapps Parser Generator System http://theory.stanford.edu/˜amitp/Yapps/ Version 2 Amit J. Patel http://www-cs-students.stanford.edu/ amitp/ Introduction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-08-09 18:50:20 Programming language implementation Formal languages Compiler construction Control flow Recursive descent parser LL parser Left recursion Attribute grammar Lookahead Software engineering Parsing Computing
163	DATA-FLOW ANALYSIS FOR INTERRUPT-DRIVEN MICROCONTROLLER SOFTWARE by Nathan Cooprider Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-11-07 14:48:31 Compiler optimizations Programming language implementation Embedded systems TinyOS Microcontroller Data-flow analysis Program analysis Compiler Constant folding Computing Software engineering Programming language theory
164	This article was downloaded by: [Bibliothekssystem Universität Hamburg] On: 31 March 2015, At: 02:47 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortime Add to Reading List Source URL: www.psych.nyu.edu Language: English - Date: 2015-04-06 11:34:15 Motivation Action Implementation intention Strategy Theory of reasoned action Theory of planned behavior Gollwitzer Social psychology Thomas Llewelyn Webb Mind Behavior Ethology
165	Suggestions on “Traversals of Object Structures: Specification and Efficient Implementation” by Karl Lieberherr and Boaz Patt-Shamir Yannis Smaragdakis () Section 1 contains general suggestions. Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 1998-12-29 22:20:29 Minor Graph operations Edge coloring Graph theory Graph Graph coloring
166	Implementation and Evaluation of a Partitioned Store for Transaction-Time Databases Manigantan Sethuraman Add to Reading List Source URL: timecenter.cs.aau.dk Language: English - Date: 2011-09-02 07:26:17 Database theory Software Relational database management systems Cross-platform software MySQL SQL Temporal database Database Berkeley DB Data management Database management systems Computing
167	Robust Implementation: The Case of Direct Mechanisms Dirk Bergemann and Stephen Morris Northwestern University March 2006 Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2006-03-02 20:23:18 Revelation principle Game theory Mechanism design Social choice theory
168	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
169	Robust Implementation Dirk Bergemann and Stephen Morris Stony Brook Conference July 2005 — Typeset by FoilTEX — Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2005-08-06 11:15:59 Game theory Mechanism design Social choice theory
170	The LLVM Instruction Set and Compilation Strategy Chris Lattner Vikram Adve University of Illinois at Urbana-Champaign lattner,vadve @cs.uiuc.edu Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Programming language implementation Compiler construction Data types Type theory Compilers LLVM Pointer Compiler optimization Compiler Software engineering Computing Computer programming

UPDATE